-
1 satisfiable statement
Большой англо-русский и русско-английский словарь > satisfiable statement
-
2 satisfiable statement
Математика: выполнимое высказывание (не всегда ложное) -
3 satisfiable statement
вчт выполнимое утверждениеEnglish-Russian electronics dictionary > satisfiable statement
-
4 satisfiable statement
вчт. выполнимое утверждениеThe New English-Russian Dictionary of Radio-electronics > satisfiable statement
-
5 satisfiable statement
логикавыполнимое [не всегда ложное] высказываниеEnglish-Russian scientific dictionary > satisfiable statement
-
6 satisfiable
выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимыйБольшой англо-русский и русско-английский словарь > satisfiable
-
7 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
8 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- action statement
- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- conditional statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- executable statement
- exception statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statement -
9 statement
1) формулировка (напр. проблемы); постановка (напр. задачи)2) утверждение; высказывание3) оператор (предложение языка программирования, задающее функционально законченное действие); инструкция (в некоторых языках программирования, напр. в C++)4) заявление; сообщение•- assert statement
- assignment statement
- atomic statement
- blank statement
- case statement
- categorical statement
- comment statement
- compile-time statement
- compound statement
- conditional statement
- control statement
- data manipulation statement
- debug statement
- debugging statement
- declaration statement
- declarative statement
- delimiter statement
- dummy statement
- exception statement
- executable statement
- expect statement
- expression statement
- false statement
- fuzzy statement
- GOTO statement
- goto statement
- if statement
- imperative statement
- indexing statement
- invalid statement
- iterative statement
- job control statement
- labeled statement
- language statement
- logical statement
- looping statement
- mathematical statement
- negative statement
- nonexecutable statement
- null statement
- path statement
- positive statement
- problem statement
- program control statement
- protocol implementation conformance statement
- provable statement
- REM statement
- repeat-until statement
- repetitive statement
- satisfiable statement
- semantic statement
- send statement
- source statement
- specification statement
- statement of problem
- transfer statement
- unconditional statement
- unlabeled statement
- unprovable statement
- while statementThe New English-Russian Dictionary of Radio-electronics > statement
-
10 выполнимое высказывание
Большой англо-русский и русско-английский словарь > выполнимое высказывание
См. также в других словарях:
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
Löwenheim–Skolem theorem — In mathematical logic, the Löwenheim–Skolem theorem, named for Leopold Löwenheim and Thoralf Skolem, states that if a countable first order theory has an infinite model, then for every infinite cardinal number κ it has a model of size κ. The… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
Theory (mathematical logic) — This article is about theories in a formal language, as studied in mathematical logic. For other uses, see Theory (disambiguation). In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. Usually… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Constraint logic programming — Programming paradigms Agent oriented Automata based Component based Flow based Pipelined Concatenative Concurrent computing … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
Forcing (mathematics) — For the use of forcing in recursion theory, see Forcing (recursion theory). In the mathematical discipline of set theory, forcing is a technique invented by Paul Cohen for proving consistency and independence results. It was first used, in 1963,… … Wikipedia
Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
